首页> 外文OA文献 >Automatic Generation and Qualification of Assertions on Control Signals: A Time Window-Based Approach

【2h】

Automatic Generation and Qualification of Assertions on Control Signals: A Time Window-Based Approach

机译：自动生成和控制信号断言的资格：基于时间窗口的方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Danese, Alessandro; Filini, Francesca; Ghasempouri, Tara; Pravadelli, Graziano;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Automatic Controller Code Generation for Swarm Robotics Using Probabilistic Timed Supervisory Control Theory (ptSCT) [J] . Mirzaei Faezeh, Pouyan Ali Akbar, Biglari Mohsen Journal of Intelligent & Robotic Systems: Theory & Application . 2020,第2期

机译：使用概率定时监控理论（PTSCT）的群体机器人的自动控制器代码生成
2. Automatic test data generation for time-continuous embedded system using built-in signals [J] . Do ThiBich Ngoc, Nguyen ThiAnh Phuong IOSR journal of computer engineering . 2019,第1期

机译：使用内置信号自动测试时间连续嵌入式系统的数据生成
3. MISO eyes better frequency regulation through fast automatic generation control signals [J] . Jasmin Melvin Inside FERC . 2019,第AUGa26期

机译：MISO通过快速自动生成控制信号来更好地调节频率
4. Automatic Generation and Qualification of Assertions on Control Signals: A Time Window-Based Approach [C] . Alessandro Danese, Francesca Filini, Tara Ghasempouri, IFIP WG 10.5/IEEE international conference on very large scale integration . 2016

机译：自动生成和控制信号断言的资格：基于时间窗口的方法
5. Ensembles of Text and Time-Series Models for Automatic Generation of Financial Trading Signals. [D] . Bari, Omar Abdul. 2016

机译：自动生成金融交易信号的文本和时间序列模型的集合。
6. A Machine Learning Approach for the Automatic Estimation of Fixation-Time Data Signals’ Quality [O] . Giulio Gabrieli, Jan Paolo Macapinlac Balagtas, Gianluca Esposito, 2020

机译：一种机器学习方法用于自动估计固定时间数据信号的质量
7. Automatic Generation and Qualification of Assertions on Control Signals: A Time Window-Based Approach [O] . Danese, Alessandro, Filini, Francesca, Ghasempouri, Tara, 2015

机译：自动生成和控制信号断言的资格：基于时间窗口的方法

Automatic Generation and Qualification of Assertions on Control Signals: A Time Window-Based Approach

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅